Dagstuhl Seminar on Practical Methods for Code Documentation and Inspection
نویسندگان
چکیده
State Machine (ASM) Specification of Embedded Control Systems: Documentation and Validation
منابع مشابه
Integrating ASMs into the Software Development Life Cycle
In this paper we show how to integrate the use of Gurevich's Abstract State Machines (ASMs) into a complete software development life cycle. We present a structured software engineering method which allows the software engineer to control e ciently the modular development and the maintenance of well documented, formally inspectable and smoothly modi able code out of rigorous ASM models for requ...
متن کاملIntegrating ASMs into the Software Development
In this paper we show how to integrate the use of Gurevich's Abstract State Machines (ASMs) into a complete software development life cycle. We present a structured software engineering method which allows the software engineer to control eeciently the modular development and the maintenance of well documented, formally inspectable and smoothly modiiable code out of rigorous ASM models for requ...
متن کاملChallenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy (Dagstuhl Seminar 14241)
This report summarizes the program and the outcomes of the Dagstuhl Seminar 14241, entitled “Challenges in Analysing Executables: Scalability, Self-Modifying Code and Synergy”. The seminar brought together practitioners and researchers from industry and academia to discuss the state-of-the art in the analysis of binaries, the handling of the most challenging malware and the ever-lasting problem...
متن کاملMulticore Enablement for Embedded and Cyber Physical Systems (Dagstuhl Seminar 13052)
This report documents the program and the outcomes of Dagstuhl Seminar 13021 “Symbolic Methods in Testing”. The aim of the seminar was to bring together leading researchers of this field; the seminary ended up with 38 participants from 10 countries: France, The Netherlands, The Unites States, Germany, Switzerland, United Kingdom, Brazil, Norway, Estonia and Italy. Through a series of presentati...
متن کاملCode Instrumentation and Modeling for Parallel Performance Analysis Dagstuhl Seminar
From 20th to 24th August 2007, the Dagstuhl Seminar 07341 Code Instrumentation and Modeling for Parallel Performance Analysis was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as...
متن کامل